Nachum Dershowitz: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (33)
Most Popular
List
- List
- Table

1

Calendrical Calculations: The Ultimate Edition

Calendrical Calculations: The Ultimate Edition

Cambridge University Press

Edward M. Reingold, Nachum Dershowitz

Year:

2018

Language:

english

File:

PDF, 37.42 MB

5.0 / 4.0

english, 2018

2

Calendrical Calculations

Calendrical Calculations

Cambridge University Press

Nachum Dershowitz, Edward M. Reingold

Year:

2007

Language:

english

File:

DJVU, 4.24 MB

0 / 0

english, 2007

3

Calendrical Calculations: The Ultimate Edition

Calendrical Calculations: The Ultimate Edition

Cambridge University Press

Edward M. Reingold, Nachum Dershowitz

Year:

2018

Language:

english

File:

PDF, 34.69 MB

0 / 0

english, 2018

4

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

Year:

2008

Language:

english

File:

PDF, 6.76 MB

0 / 0

english, 2008

5

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Language, Culture, Computation. Computing - Theory and Technology: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Year:

2014

Language:

english

File:

PDF, 27.49 MB

0 / 0

english, 2014

6

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Johann A. Makowsky (auth.), Nachum Dershowitz, Andrei Voronkov (eds.)

Year:

2007

Language:

english

File:

PDF, 5.33 MB

0 / 0

english, 2007

7

Calendrical calculations

Calendrical calculations

Cambridge University Press

Dershowitz, Nachum, Reingold, Edward M

Year:

2007

Language:

english

File:

PDF, 18.47 MB

0 / 0

english, 2007

8

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

Year:

2010

Language:

english

File:

PDF, 5.84 MB

0 / 0

english, 2010

9

The Evolution of Programs

The Evolution of Programs

Nachum Dershowitz

Year:

1983

Language:

english

File:

PDF, 8.81 MB

0 / 0

english, 1983

10

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

Year:

2004

Language:

english

File:

PDF, 8.59 MB

0 / 0

english, 2004

11

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Year:

2007

Language:

english

File:

PDF, 3.45 MB

0 / 0

english, 2007

12

Calendrical Calculations

Calendrical Calculations

Nachum Dershowitz, Edward M. Reingold

Year:

2007

Language:

english

File:

DJVU, 4.06 MB

0 / 0

english, 2007

13

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Year:

2009

Language:

english

File:

PDF, 7.21 MB

0 / 0

english, 2009

14

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

Year:

2007

Language:

english

File:

PDF, 2.95 MB

0 / 0

english, 2007

15

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

Springer-Verlag Berlin Heidelberg

Boris A. Trakhtenbrot (auth.), Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.)

Year:

2008

Language:

english

File:

PDF, 8.20 MB

0 / 0

english, 2008

16

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Year:

1995

Language:

english

File:

DJVU, 3.52 MB

0 / 0

english, 1995

17

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Bart Demoen, Vladimir Lifschitz (eds.)

Year:

2004

Language:

english

File:

PDF, 5.21 MB

0 / 0

english, 2004

18

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Year:

2009

Language:

english

File:

PDF, 7.02 MB

0 / 0

english, 2009

19

Pillars of Computer Science

Pillars of Computer Science

Arnon Avron Nachum Dershowitz Alexander Rabinovich (Eds.)

Year:

2008

Language:

english

File:

PDF, 8.64 MB

0 / 0

english, 2008

20

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Unconventional Computation: 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Edwin J. Beggs (auth.), Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.)

Year:

2009

Language:

english

File:

PDF, 8.84 MB

0 / 5.0

english, 2009

21

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Year:

2011

Language:

english

File:

PDF, 2.85 MB

0 / 0

english, 2011

22

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Language, Culture, Computation. Computational Linguistics and Linguistics: Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part III

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Year:

2014

Language:

english

File:

PDF, 33.09 MB

0 / 0

english, 2014

23

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Year:

2011

Language:

english

File:

PDF, 3.49 MB

0 / 0

english, 2011

24

Ancient Indian Leaps into Mathematics

Ancient Indian Leaps into Mathematics

Birkhäuser Basel

Nachum Dershowitz, Edward M. Reingold (auth.), B.S. Yadav, Man Mohan (eds.)

Year:

2011

Language:

english

File:

PDF, 3.42 MB

0 / 0

english, 2011

25

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Language, Culture, Computation. Computing of the Humanities, Law, and Narratives : Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part II

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz, Ephraim Nissan (eds.)

Year:

2014

Language:

english

File:

PDF, 34.77 MB

0 / 0

english, 2014

26

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Springer International Publishing

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)

Year:

2015

Language:

english

File:

PDF, 5.13 MB

0 / 0

english, 2015

27

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Fields of Logic and Computation III: Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Springer International Publishing;Springer

Andreas Blass, Patrick Cégielski, Nachum Dershowitz, Manfred Droste, Bernd Finkbeiner

Year:

2020

Language:

english

File:

PDF, 10.09 MB

0 / 0

english, 2020

28

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

Year:

1989

Language:

english

File:

PDF, 11.76 MB

0 / 0

english, 1989

29

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Rewriting Techniques and Applications: 3rd International Conference, RTA-89 Chapel Hill, North Carolina, USA April 3–5, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Garrett Birkhoff (auth.), Nachum Dershowitz (eds.)

Year:

1989

Language:

english

File:

DJVU, 5.18 MB

0 / 0

english, 1989

30

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

Year:

2004

Language:

english

File:

PDF, 2.23 MB

0 / 0

english, 2004

31

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Conditional and Typed Rewriting Systems: 4th International Workshop, CTRS-94 Jerusalem, Israel, July 13–15, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Leo Bachmair, Harald Ganzinger (auth.), Nachum Dershowitz, Naomi Lindenstrauss (eds.)

Year:

1995

Language:

english

File:

PDF, 5.98 MB

0 / 0

english, 1995

32

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (auth.), Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)

Year:

2010

Language:

english

File:

PDF, 5.96 MB

0 / 0

english, 2010

33

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday

Springer-Verlag Berlin Heidelberg

Nachum Dershowitz (auth.), Nachum Dershowitz (eds.)

Year:

2004

Language:

english

File:

PDF, 7.14 MB

0 / 0

english, 2004